Lyon 5e - 1 rue Appian

Session: 5E

incoming RF signals to suppress a certain diffraction modes. The set of experimental verifications with two type AO modulators operating in Raman-Nath (hard flint cell) and Bragg (TeO2 cell) regimes have been performed. With use of the analogue third order polynomial RF synthesizer [2] there were obtained a rather good suppression of two-tone second-order intermodulations in space of the second...

Results about Rue Resolution

(3E,5E)-3,5-Bis(4-allyl­oxybenzyl­idene)-1-benzyl­piperidin-4-one

In the title compound C(32)H(31)NO(3), the all-yloxy groups on either side of the piperidin-4-one ring are conformationally disordered. The contribution of major and minor components of the allyloxy group at the 3rd position of the ring are 0.576 (4) and 0.424 (4), respectively, and those at the 5th position are 0.885 (3) and 0.115 (3), respectively. The six-membered piperidin-4-one ring adopts...

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

(3E,5E)-3,5-Bis(naphthalen-1-yl­methyl­idene)piperidin-4-one

In the title compound, C(27)H(21)NO, the piperidine ring adopts a chair conformation. The mean plane through the piperidine ring makes dihedral angles of 49.27 (5) and 63.07 (5)° with the naphthalene ring systems. In the crystal, mol-ecules are linked into dimers via pairs of inter-molecular C-H⋯O inter-actions, generating ten-membered R(2) (2)(10) ring motifs. C-H⋯π inter-actions further stabi...